3.740 \(\int \frac{x^4 \left (c+d x^2\right )^{3/2}}{\left (a+b x^2\right )^2} \, dx\)

Optimal. Leaf size=197 \[ \frac{3 \left (8 a^2 d^2-8 a b c d+b^2 c^2\right ) \tanh ^{-1}\left (\frac{\sqrt{d} x}{\sqrt{c+d x^2}}\right )}{8 b^4 \sqrt{d}}-\frac{3 \sqrt{a} (b c-2 a d) \sqrt{b c-a d} \tan ^{-1}\left (\frac{x \sqrt{b c-a d}}{\sqrt{a} \sqrt{c+d x^2}}\right )}{2 b^4}+\frac{3 x \sqrt{c+d x^2} (3 b c-4 a d)}{8 b^3}-\frac{x^3 \left (c+d x^2\right )^{3/2}}{2 b \left (a+b x^2\right )}+\frac{3 d x^3 \sqrt{c+d x^2}}{4 b^2} \]

[Out]

(3*(3*b*c - 4*a*d)*x*Sqrt[c + d*x^2])/(8*b^3) + (3*d*x^3*Sqrt[c + d*x^2])/(4*b^2
) - (x^3*(c + d*x^2)^(3/2))/(2*b*(a + b*x^2)) - (3*Sqrt[a]*(b*c - 2*a*d)*Sqrt[b*
c - a*d]*ArcTan[(Sqrt[b*c - a*d]*x)/(Sqrt[a]*Sqrt[c + d*x^2])])/(2*b^4) + (3*(b^
2*c^2 - 8*a*b*c*d + 8*a^2*d^2)*ArcTanh[(Sqrt[d]*x)/Sqrt[c + d*x^2]])/(8*b^4*Sqrt
[d])

_______________________________________________________________________________________

Rubi [A]  time = 0.869854, antiderivative size = 197, normalized size of antiderivative = 1., number of steps used = 8, number of rules used = 8, integrand size = 24, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.333 \[ \frac{3 \left (8 a^2 d^2-8 a b c d+b^2 c^2\right ) \tanh ^{-1}\left (\frac{\sqrt{d} x}{\sqrt{c+d x^2}}\right )}{8 b^4 \sqrt{d}}-\frac{3 \sqrt{a} (b c-2 a d) \sqrt{b c-a d} \tan ^{-1}\left (\frac{x \sqrt{b c-a d}}{\sqrt{a} \sqrt{c+d x^2}}\right )}{2 b^4}+\frac{3 x \sqrt{c+d x^2} (3 b c-4 a d)}{8 b^3}-\frac{x^3 \left (c+d x^2\right )^{3/2}}{2 b \left (a+b x^2\right )}+\frac{3 d x^3 \sqrt{c+d x^2}}{4 b^2} \]

Antiderivative was successfully verified.

[In]  Int[(x^4*(c + d*x^2)^(3/2))/(a + b*x^2)^2,x]

[Out]

(3*(3*b*c - 4*a*d)*x*Sqrt[c + d*x^2])/(8*b^3) + (3*d*x^3*Sqrt[c + d*x^2])/(4*b^2
) - (x^3*(c + d*x^2)^(3/2))/(2*b*(a + b*x^2)) - (3*Sqrt[a]*(b*c - 2*a*d)*Sqrt[b*
c - a*d]*ArcTan[(Sqrt[b*c - a*d]*x)/(Sqrt[a]*Sqrt[c + d*x^2])])/(2*b^4) + (3*(b^
2*c^2 - 8*a*b*c*d + 8*a^2*d^2)*ArcTanh[(Sqrt[d]*x)/Sqrt[c + d*x^2]])/(8*b^4*Sqrt
[d])

_______________________________________________________________________________________

Rubi in Sympy [A]  time = 104.804, size = 187, normalized size = 0.95 \[ - \frac{3 \sqrt{a} \sqrt{a d - b c} \left (2 a d - b c\right ) \operatorname{atanh}{\left (\frac{x \sqrt{a d - b c}}{\sqrt{a} \sqrt{c + d x^{2}}} \right )}}{2 b^{4}} - \frac{x^{3} \left (c + d x^{2}\right )^{\frac{3}{2}}}{2 b \left (a + b x^{2}\right )} + \frac{3 d x^{3} \sqrt{c + d x^{2}}}{4 b^{2}} - \frac{3 x \sqrt{c + d x^{2}} \left (4 a d - 3 b c\right )}{8 b^{3}} + \frac{3 \left (8 a^{2} d^{2} - 8 a b c d + b^{2} c^{2}\right ) \operatorname{atanh}{\left (\frac{\sqrt{d} x}{\sqrt{c + d x^{2}}} \right )}}{8 b^{4} \sqrt{d}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate(x**4*(d*x**2+c)**(3/2)/(b*x**2+a)**2,x)

[Out]

-3*sqrt(a)*sqrt(a*d - b*c)*(2*a*d - b*c)*atanh(x*sqrt(a*d - b*c)/(sqrt(a)*sqrt(c
 + d*x**2)))/(2*b**4) - x**3*(c + d*x**2)**(3/2)/(2*b*(a + b*x**2)) + 3*d*x**3*s
qrt(c + d*x**2)/(4*b**2) - 3*x*sqrt(c + d*x**2)*(4*a*d - 3*b*c)/(8*b**3) + 3*(8*
a**2*d**2 - 8*a*b*c*d + b**2*c**2)*atanh(sqrt(d)*x/sqrt(c + d*x**2))/(8*b**4*sqr
t(d))

_______________________________________________________________________________________

Mathematica [A]  time = 0.28295, size = 192, normalized size = 0.97 \[ \frac{\frac{3 \left (8 a^2 d^2-8 a b c d+b^2 c^2\right ) \log \left (\sqrt{d} \sqrt{c+d x^2}+d x\right )}{\sqrt{d}}-\frac{12 \sqrt{a} \left (2 a^2 d^2-3 a b c d+b^2 c^2\right ) \tan ^{-1}\left (\frac{x \sqrt{b c-a d}}{\sqrt{a} \sqrt{c+d x^2}}\right )}{\sqrt{b c-a d}}+\frac{b \sqrt{c+d x^2} \left (-12 a^2 d x+a b \left (9 c x-6 d x^3\right )+b^2 x^3 \left (5 c+2 d x^2\right )\right )}{a+b x^2}}{8 b^4} \]

Antiderivative was successfully verified.

[In]  Integrate[(x^4*(c + d*x^2)^(3/2))/(a + b*x^2)^2,x]

[Out]

((b*Sqrt[c + d*x^2]*(-12*a^2*d*x + b^2*x^3*(5*c + 2*d*x^2) + a*b*(9*c*x - 6*d*x^
3)))/(a + b*x^2) - (12*Sqrt[a]*(b^2*c^2 - 3*a*b*c*d + 2*a^2*d^2)*ArcTan[(Sqrt[b*
c - a*d]*x)/(Sqrt[a]*Sqrt[c + d*x^2])])/Sqrt[b*c - a*d] + (3*(b^2*c^2 - 8*a*b*c*
d + 8*a^2*d^2)*Log[d*x + Sqrt[d]*Sqrt[c + d*x^2]])/Sqrt[d])/(8*b^4)

_______________________________________________________________________________________

Maple [B]  time = 0.026, size = 4795, normalized size = 24.3 \[ \text{output too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int(x^4*(d*x^2+c)^(3/2)/(b*x^2+a)^2,x)

[Out]

3/2*a^2/b^4*d^2*(-a*b)^(1/2)/(a*d-b*c)/(-(a*d-b*c)/b)^(1/2)*ln((-2*(a*d-b*c)/b+2
*d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))+2*(-(a*d-b*c)/b)^(1/2)*((x-1/b*(-a*b)^(1/
2))^2*d+2*d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2))/(x-1/b*(-a*b
)^(1/2)))*c-1/4*a/b^2/(a*d-b*c)/(x+1/b*(-a*b)^(1/2))*((x+1/b*(-a*b)^(1/2))^2*d-2
*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(5/2)+3/4/b^2*a/(-a*b)^(1/2)
*((x+1/b*(-a*b)^(1/2))^2*d-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^
(1/2)*c+3/8/b^2*c^2/d^(1/2)*ln(x*d^(1/2)+(d*x^2+c)^(1/2))+3/8/b^2*c*x*(d*x^2+c)^
(1/2)+1/4/b^2*a/(-a*b)^(1/2)*((x+1/b*(-a*b)^(1/2))^2*d-2*d*(-a*b)^(1/2)/b*(x+1/b
*(-a*b)^(1/2))-(a*d-b*c)/b)^(3/2)+3/4/b^4*a^2*d^(3/2)*ln((-d*(-a*b)^(1/2)/b+(x+1
/b*(-a*b)^(1/2))*d)/d^(1/2)+((x+1/b*(-a*b)^(1/2))^2*d-2*d*(-a*b)^(1/2)/b*(x+1/b*
(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2))-1/4/b^2*a/(-a*b)^(1/2)*((x-1/b*(-a*b)^(1/2))^2
*d+2*d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(3/2)+3/4/b^4*a^2*d^(3/2
)*ln((d*(-a*b)^(1/2)/b+(x-1/b*(-a*b)^(1/2))*d)/d^(1/2)+((x-1/b*(-a*b)^(1/2))^2*d
+2*d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2))-3/4*a/b^3*d*(-a*b)^
(1/2)/(a*d-b*c)*((x+1/b*(-a*b)^(1/2))^2*d-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2)
)-(a*d-b*c)/b)^(1/2)*c+3/4*a^3/b^5*d^3*(-a*b)^(1/2)/(a*d-b*c)/(-(a*d-b*c)/b)^(1/
2)*ln((-2*(a*d-b*c)/b-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2))+2*(-(a*d-b*c)/b)^(
1/2)*((x+1/b*(-a*b)^(1/2))^2*d-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2))-(a*d-b*c)
/b)^(1/2))/(x+1/b*(-a*b)^(1/2)))+3/8*a/b^2*d/(a*d-b*c)*c*((x+1/b*(-a*b)^(1/2))^2
*d-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2)*x-3/4/b^2*a/(-a*b)
^(1/2)/(-(a*d-b*c)/b)^(1/2)*ln((-2*(a*d-b*c)/b-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^
(1/2))+2*(-(a*d-b*c)/b)^(1/2)*((x+1/b*(-a*b)^(1/2))^2*d-2*d*(-a*b)^(1/2)/b*(x+1/
b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2))/(x+1/b*(-a*b)^(1/2)))*c^2+1/4*a/b^3*d*(-a*b)
^(1/2)/(a*d-b*c)*((x-1/b*(-a*b)^(1/2))^2*d+2*d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2
))-(a*d-b*c)/b)^(3/2)-3/8*a^2/b^3*d^2/(a*d-b*c)*((x-1/b*(-a*b)^(1/2))^2*d+2*d*(-
a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2)*x-9/8*a^2/b^3*d^(3/2)/(a*d-
b*c)*ln((d*(-a*b)^(1/2)/b+(x-1/b*(-a*b)^(1/2))*d)/d^(1/2)+((x-1/b*(-a*b)^(1/2))^
2*d+2*d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2))*c-3/4*a^2/b^4*d^
2*(-a*b)^(1/2)/(a*d-b*c)*((x-1/b*(-a*b)^(1/2))^2*d+2*d*(-a*b)^(1/2)/b*(x-1/b*(-a
*b)^(1/2))-(a*d-b*c)/b)^(1/2)+1/4*a/b^2*d/(a*d-b*c)*((x-1/b*(-a*b)^(1/2))^2*d+2*
d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(3/2)*x+3/8*a/b^2*d^(1/2)/(a*
d-b*c)*c^2*ln((d*(-a*b)^(1/2)/b+(x-1/b*(-a*b)^(1/2))*d)/d^(1/2)+((x-1/b*(-a*b)^(
1/2))^2*d+2*d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2))+3/4/b^2*a/
(-a*b)^(1/2)/(-(a*d-b*c)/b)^(1/2)*ln((-2*(a*d-b*c)/b+2*d*(-a*b)^(1/2)/b*(x-1/b*(
-a*b)^(1/2))+2*(-(a*d-b*c)/b)^(1/2)*((x-1/b*(-a*b)^(1/2))^2*d+2*d*(-a*b)^(1/2)/b
*(x-1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2))/(x-1/b*(-a*b)^(1/2)))*c^2-1/4*a/b^3*d*
(-a*b)^(1/2)/(a*d-b*c)*((x+1/b*(-a*b)^(1/2))^2*d-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b
)^(1/2))-(a*d-b*c)/b)^(3/2)-3/8*a^2/b^3*d^2/(a*d-b*c)*((x+1/b*(-a*b)^(1/2))^2*d-
2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2)*x-9/8*a^2/b^3*d^(3/2)
/(a*d-b*c)*ln((-d*(-a*b)^(1/2)/b+(x+1/b*(-a*b)^(1/2))*d)/d^(1/2)+((x+1/b*(-a*b)^
(1/2))^2*d-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2))*c+3/4*a^2
/b^4*d^2*(-a*b)^(1/2)/(a*d-b*c)*((x+1/b*(-a*b)^(1/2))^2*d-2*d*(-a*b)^(1/2)/b*(x+
1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2)+1/4*a/b^2*d/(a*d-b*c)*((x+1/b*(-a*b)^(1/2))
^2*d-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(3/2)*x+3/8*a/b^2*d^(1
/2)/(a*d-b*c)*c^2*ln((-d*(-a*b)^(1/2)/b+(x+1/b*(-a*b)^(1/2))*d)/d^(1/2)+((x+1/b*
(-a*b)^(1/2))^2*d-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2))-3/
4*a/b^3*d*(-a*b)^(1/2)/(a*d-b*c)/(-(a*d-b*c)/b)^(1/2)*ln((-2*(a*d-b*c)/b+2*d*(-a
*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))+2*(-(a*d-b*c)/b)^(1/2)*((x-1/b*(-a*b)^(1/2))^2*
d+2*d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2))/(x-1/b*(-a*b)^(1/2
)))*c^2-3/2*a^2/b^4*d^2*(-a*b)^(1/2)/(a*d-b*c)/(-(a*d-b*c)/b)^(1/2)*ln((-2*(a*d-
b*c)/b-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2))+2*(-(a*d-b*c)/b)^(1/2)*((x+1/b*(-
a*b)^(1/2))^2*d-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2))/(x+1
/b*(-a*b)^(1/2)))*c+3/4*a/b^3*d*(-a*b)^(1/2)/(a*d-b*c)/(-(a*d-b*c)/b)^(1/2)*ln((
-2*(a*d-b*c)/b-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2))+2*(-(a*d-b*c)/b)^(1/2)*((
x+1/b*(-a*b)^(1/2))^2*d-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/
2))/(x+1/b*(-a*b)^(1/2)))*c^2+3/4/b^4*a^3/(-a*b)^(1/2)/(-(a*d-b*c)/b)^(1/2)*ln((
-2*(a*d-b*c)/b+2*d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))+2*(-(a*d-b*c)/b)^(1/2)*((
x-1/b*(-a*b)^(1/2))^2*d+2*d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/
2))/(x-1/b*(-a*b)^(1/2)))*d^2-3/4/b^4*a^3/(-a*b)^(1/2)/(-(a*d-b*c)/b)^(1/2)*ln((
-2*(a*d-b*c)/b-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2))+2*(-(a*d-b*c)/b)^(1/2)*((
x+1/b*(-a*b)^(1/2))^2*d-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/
2))/(x+1/b*(-a*b)^(1/2)))*d^2-3/2/b^3*a^2/(-a*b)^(1/2)/(-(a*d-b*c)/b)^(1/2)*ln((
-2*(a*d-b*c)/b+2*d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))+2*(-(a*d-b*c)/b)^(1/2)*((
x-1/b*(-a*b)^(1/2))^2*d+2*d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/
2))/(x-1/b*(-a*b)^(1/2)))*d*c+3/2/b^3*a^2/(-a*b)^(1/2)/(-(a*d-b*c)/b)^(1/2)*ln((
-2*(a*d-b*c)/b-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2))+2*(-(a*d-b*c)/b)^(1/2)*((
x+1/b*(-a*b)^(1/2))^2*d-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/
2))/(x+1/b*(-a*b)^(1/2)))*d*c+3/4*a/b^3*d*(-a*b)^(1/2)/(a*d-b*c)*((x-1/b*(-a*b)^
(1/2))^2*d+2*d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2)*c-3/4*a^3/
b^5*d^3*(-a*b)^(1/2)/(a*d-b*c)/(-(a*d-b*c)/b)^(1/2)*ln((-2*(a*d-b*c)/b+2*d*(-a*b
)^(1/2)/b*(x-1/b*(-a*b)^(1/2))+2*(-(a*d-b*c)/b)^(1/2)*((x-1/b*(-a*b)^(1/2))^2*d+
2*d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2))/(x-1/b*(-a*b)^(1/2))
)+3/8*a/b^2*d/(a*d-b*c)*c*((x-1/b*(-a*b)^(1/2))^2*d+2*d*(-a*b)^(1/2)/b*(x-1/b*(-
a*b)^(1/2))-(a*d-b*c)/b)^(1/2)*x-1/4*a/b^2/(a*d-b*c)/(x-1/b*(-a*b)^(1/2))*((x-1/
b*(-a*b)^(1/2))^2*d+2*d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(5/2)+3
/4*a^3/b^4*d^(5/2)/(a*d-b*c)*ln((d*(-a*b)^(1/2)/b+(x-1/b*(-a*b)^(1/2))*d)/d^(1/2
)+((x-1/b*(-a*b)^(1/2))^2*d+2*d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))-(a*d-b*c)/b)
^(1/2))-3/8/b^3*a*d*((x-1/b*(-a*b)^(1/2))^2*d+2*d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(
1/2))-(a*d-b*c)/b)^(1/2)*x-9/8/b^3*a*d^(1/2)*ln((d*(-a*b)^(1/2)/b+(x-1/b*(-a*b)^
(1/2))*d)/d^(1/2)+((x-1/b*(-a*b)^(1/2))^2*d+2*d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/
2))-(a*d-b*c)/b)^(1/2))*c+3/4/b^3*a^2/(-a*b)^(1/2)*((x-1/b*(-a*b)^(1/2))^2*d+2*d
*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2)*d-3/4/b^2*a/(-a*b)^(1/2)
*((x-1/b*(-a*b)^(1/2))^2*d+2*d*(-a*b)^(1/2)/b*(x-1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^
(1/2)*c-3/8/b^3*a*d*((x+1/b*(-a*b)^(1/2))^2*d-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(
1/2))-(a*d-b*c)/b)^(1/2)*x-9/8/b^3*a*d^(1/2)*ln((-d*(-a*b)^(1/2)/b+(x+1/b*(-a*b)
^(1/2))*d)/d^(1/2)+((x+1/b*(-a*b)^(1/2))^2*d-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1
/2))-(a*d-b*c)/b)^(1/2))*c-3/4/b^3*a^2/(-a*b)^(1/2)*((x+1/b*(-a*b)^(1/2))^2*d-2*
d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2)*d+3/4*a^3/b^4*d^(5/2)/(
a*d-b*c)*ln((-d*(-a*b)^(1/2)/b+(x+1/b*(-a*b)^(1/2))*d)/d^(1/2)+((x+1/b*(-a*b)^(1
/2))^2*d-2*d*(-a*b)^(1/2)/b*(x+1/b*(-a*b)^(1/2))-(a*d-b*c)/b)^(1/2))+1/4/b^2*x*(
d*x^2+c)^(3/2)

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{{\left (d x^{2} + c\right )}^{\frac{3}{2}} x^{4}}{{\left (b x^{2} + a\right )}^{2}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((d*x^2 + c)^(3/2)*x^4/(b*x^2 + a)^2,x, algorithm="maxima")

[Out]

integrate((d*x^2 + c)^(3/2)*x^4/(b*x^2 + a)^2, x)

_______________________________________________________________________________________

Fricas [A]  time = 0.553655, size = 1, normalized size = 0.01 \[ \text{result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((d*x^2 + c)^(3/2)*x^4/(b*x^2 + a)^2,x, algorithm="fricas")

[Out]

[-1/16*(6*(a*b*c - 2*a^2*d + (b^2*c - 2*a*b*d)*x^2)*sqrt(-a*b*c + a^2*d)*sqrt(d)
*log(((b^2*c^2 - 8*a*b*c*d + 8*a^2*d^2)*x^4 + a^2*c^2 - 2*(3*a*b*c^2 - 4*a^2*c*d
)*x^2 + 4*((b*c - 2*a*d)*x^3 - a*c*x)*sqrt(-a*b*c + a^2*d)*sqrt(d*x^2 + c))/(b^2
*x^4 + 2*a*b*x^2 + a^2)) - 2*(2*b^3*d*x^5 + (5*b^3*c - 6*a*b^2*d)*x^3 + 3*(3*a*b
^2*c - 4*a^2*b*d)*x)*sqrt(d*x^2 + c)*sqrt(d) - 3*(a*b^2*c^2 - 8*a^2*b*c*d + 8*a^
3*d^2 + (b^3*c^2 - 8*a*b^2*c*d + 8*a^2*b*d^2)*x^2)*log(-2*sqrt(d*x^2 + c)*d*x -
(2*d*x^2 + c)*sqrt(d)))/((b^5*x^2 + a*b^4)*sqrt(d)), -1/8*(3*(a*b*c - 2*a^2*d +
(b^2*c - 2*a*b*d)*x^2)*sqrt(-a*b*c + a^2*d)*sqrt(-d)*log(((b^2*c^2 - 8*a*b*c*d +
 8*a^2*d^2)*x^4 + a^2*c^2 - 2*(3*a*b*c^2 - 4*a^2*c*d)*x^2 + 4*((b*c - 2*a*d)*x^3
 - a*c*x)*sqrt(-a*b*c + a^2*d)*sqrt(d*x^2 + c))/(b^2*x^4 + 2*a*b*x^2 + a^2)) - (
2*b^3*d*x^5 + (5*b^3*c - 6*a*b^2*d)*x^3 + 3*(3*a*b^2*c - 4*a^2*b*d)*x)*sqrt(d*x^
2 + c)*sqrt(-d) - 3*(a*b^2*c^2 - 8*a^2*b*c*d + 8*a^3*d^2 + (b^3*c^2 - 8*a*b^2*c*
d + 8*a^2*b*d^2)*x^2)*arctan(sqrt(-d)*x/sqrt(d*x^2 + c)))/((b^5*x^2 + a*b^4)*sqr
t(-d)), 1/16*(12*sqrt(a*b*c - a^2*d)*(a*b*c - 2*a^2*d + (b^2*c - 2*a*b*d)*x^2)*s
qrt(d)*arctan(-1/2*((b*c - 2*a*d)*x^2 - a*c)/(sqrt(a*b*c - a^2*d)*sqrt(d*x^2 + c
)*x)) + 2*(2*b^3*d*x^5 + (5*b^3*c - 6*a*b^2*d)*x^3 + 3*(3*a*b^2*c - 4*a^2*b*d)*x
)*sqrt(d*x^2 + c)*sqrt(d) + 3*(a*b^2*c^2 - 8*a^2*b*c*d + 8*a^3*d^2 + (b^3*c^2 -
8*a*b^2*c*d + 8*a^2*b*d^2)*x^2)*log(-2*sqrt(d*x^2 + c)*d*x - (2*d*x^2 + c)*sqrt(
d)))/((b^5*x^2 + a*b^4)*sqrt(d)), 1/8*(6*sqrt(a*b*c - a^2*d)*(a*b*c - 2*a^2*d +
(b^2*c - 2*a*b*d)*x^2)*sqrt(-d)*arctan(-1/2*((b*c - 2*a*d)*x^2 - a*c)/(sqrt(a*b*
c - a^2*d)*sqrt(d*x^2 + c)*x)) + (2*b^3*d*x^5 + (5*b^3*c - 6*a*b^2*d)*x^3 + 3*(3
*a*b^2*c - 4*a^2*b*d)*x)*sqrt(d*x^2 + c)*sqrt(-d) + 3*(a*b^2*c^2 - 8*a^2*b*c*d +
 8*a^3*d^2 + (b^3*c^2 - 8*a*b^2*c*d + 8*a^2*b*d^2)*x^2)*arctan(sqrt(-d)*x/sqrt(d
*x^2 + c)))/((b^5*x^2 + a*b^4)*sqrt(-d))]

_______________________________________________________________________________________

Sympy [F]  time = 0., size = 0, normalized size = 0. \[ \int \frac{x^{4} \left (c + d x^{2}\right )^{\frac{3}{2}}}{\left (a + b x^{2}\right )^{2}}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate(x**4*(d*x**2+c)**(3/2)/(b*x**2+a)**2,x)

[Out]

Integral(x**4*(c + d*x**2)**(3/2)/(a + b*x**2)**2, x)

_______________________________________________________________________________________

GIAC/XCAS [A]  time = 0.725661, size = 4, normalized size = 0.02 \[ \mathit{sage}_{0} x \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((d*x^2 + c)^(3/2)*x^4/(b*x^2 + a)^2,x, algorithm="giac")

[Out]

sage0*x